Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540412854
Format: Paperback (487 pages) Publisher: Springer Published: 23 Oct 2000
Save for later